* doc/misc/ert.texi: Add a titlepage. Use @insertcopying.
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:00:39 +0000 (19:00 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:00:39 +0000 (19:00 -0800)
commit613c22ca3ffa39418703c413fd43a2c5282a460d
treeb1279e6797ca076a970255f73320477f9578bfe8
parent9d1bf226c4c1114731163140759ea8e900c46c2f
* doc/misc/ert.texi: Add a titlepage.  Use @insertcopying.
doc/misc/ChangeLog
doc/misc/ert.texi